1. Algebraic Informatics
Author: \ Andreas Maletti (Ed.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Software engineering.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Algebra -- Data processing -- Congresses.,مهندسی نرم افزار ,زبانهای برنامهنویسی کامپیوتر -- معنی شناسی -- کنگره ها ,جبر -- دادهپردازی -- کنگره ها
Classification :
QA
76
.
76
.
A55
2015
E-Book
,
2. Algebraic approaches to program semantics
Author: / Ernest G. Manes, Michael A. Arbib
Library: Library of College of Science University of Tehran (Tehran)
Subject: Programming languages (Electronic computers) -- Semantics,Algebra
Classification :
QA
76
.
7
.
M34
1986
3. Algebraic approaches to program semantics
Author: Manes, Ernest G.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Semantics,، Algebra
Classification :
QA
76
.
7
.
M34
1986
4. Algebraic approaches to program semantics
Author: Ernest G. Manes, Michael A. Arbib
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming languages )Electronic computers(,، Algebra
Classification :
QA
76
.
7
.
M34
1986
5. Algebraic informatics :
Author: Miroslav Ćirić, Manfred Droste, Jean-Éric Pin (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra-- Data processing, Congresses.,Programming languages (Electronic computers)-- Semantics, Congresses.,Algebra-- Data processing.,Programming languages (Electronic computers)-- Semantics.
Classification :
QA76
.
7
6. Automata, languages, and programming :
Author: edited by Jan Paredaens.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers) -- Congresses.
7. CONCUR'91 :
Author: J.C.M. Baeten, J.F. Groote (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique) -- Congrès.
8. Mathematical Foundations of Computer Science 1986 :
Author: edited by Jozef Gruska, Branislav Rovan, Juraj Wiedermann.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer software.,Logic design.
Classification :
QA267
.
E358
1986
9. Mathematical foundations of programming semantics :
Author: M. Main, A. Melton, M. Mislove ... [et al.], eds.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Mathematics -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,sémantique programme.
Classification :
QA76
.
7
M535
1990
10. Programming languages and systems :
Author: Amal Ahmed (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming, Congresses.,Programming languages (Electronic computers), Congresses.,Computer programming.,Computer science.,Computers / Programming.,Programming languages (Electronic computers)
Classification :
QA76
.
6
11. Semantics of data types :
Author: edited by G. Kahn, D.B. MacQueen, and G. Plotkin.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data structures (Computer science) -- Congresses.,Langages de programmation -- Sémantique -- Congrès.,Programming languages (Electronic computers) -- Semantics -- Congresses.
12. Semantics of programming languages and model theory
Author: / edited by Manfred droste and yuri gurevich
Library: Central Library and Document Center of Arak University (Markazi)
Subject: Programming languages (Electronic Computers)-- Semantics
Classification :
005
.
131
S471
13. Semantics of programming languages and model theory
پدیدآورنده :
موضوع : ، Programming languages )Electronic computers(-- Semantics
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
14. Semantics of programming languages and model theory
Author: edited by Manfred Droste and Yuri Gurevich
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming languages )Electronic computers( -- Semantics
Classification :
QA
76
.
7
.
S4
15. The Logic of Partial Information
Author: by Areski Nait Abdallah.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms.,Computer science.,Programming languages (Electronic computers) -- Semantics.
Classification :
QA76
.
7
B937
1995
16. Trees in Algebra and Programming - CAAP '96 :
Author: edited by Hélène Kirchner.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming.,Computer science.,Programming languages (Electronic computers)
Classification :
QA166
.
2
E358
1996
